/**
 */
package fUML.Semantics.Loci.LociL1;


/**
 * <!-- begin-user-doc -->
 * A representation of the model object '<em><b>Choice Strategy</b></em>'.
 * <!-- end-user-doc -->
 *
 * <!-- begin-model-doc -->
 * A choice strategy is used to represent the behavior of making an arbitrary
 *                 non-deterministic choice.
 *  A valid execution may use ANY choice strategy for
 *                 choosing one element from a given set.
 * <!-- end-model-doc -->
 *
 *
 * @see fUML.Semantics.Loci.LociL1.LociL1Package#getChoiceStrategy()
 * @model abstract="true"
 * @generated
 */
public interface ChoiceStrategy extends SemanticStrategy {
	/**
	 * <!-- begin-user-doc -->
	 * <!-- end-user-doc -->
	 * <!-- begin-model-doc -->
	 * Choose an integer from 1 to the given size.
	 *  [The size must be greater
	 *                   than 0.]
	 * <!-- end-model-doc -->
	 * @model required="true" ordered="false" sizeRequired="true" sizeOrdered="false"
	 * @generated
	 */
	int choose(int size);

} // ChoiceStrategy
